1. A Course on Mathematical Logi
المؤلف: / by Shashi Mohan Srivastava
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
2. A description of 'aspectual' phenomena in Arabic
المؤلف: Sitrak, Sami J.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: PJ6131.S5 ; Arabic language--Morphology
3. A first journey through logic /
المؤلف: Martin Hils, François Loeser.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Logic, Symbolic and mathematical.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.),Mathematics.,Mathematische Logik
رده :
QA9
.
H52445
2019
4. A formalization of set theory without variables /
المؤلف: by Alfred Tarski and Steven Givant.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
رده :
QA248
.
T37
1987
5. A primer of infinitesimal analysis /
المؤلف: John L. Bell.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Nonstandard mathematical analysis.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Nonstandard mathematical analysis.
رده :
QA299
.
82
.
B45
2008eb
6. AXIOMATIC SET THEORY
المؤلف:
المکتبة: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)
موضوع:
رده :
QA
,
248
,
S92
7. Abstract Objects :
المؤلف: by Edward N. Zalta.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Linguistics -- Philosophy.,Philosophy (General),Science -- Philosophy.
8. Algebraic methods in general rough sets /
المؤلف: A. Mani, Gianpiero Cattaneo, Ivo Düntsch, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Rough sets.,MATHEMATICS-- General.,Rough sets.
رده :
QA248
9. An axiomatic approach to geometry
المؤلف: Borceux, Francis, 8491-
المکتبة: (طهران)
موضوع: ، Geometry,، Axiomatic set theory
رده :
QA
445
.
B67G4
I
10. An axiomatic approach to geometry
المؤلف: / Francis Borceux
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Geometry,Axiomatic set theory,Mathematics,Geometry,History of Mathematical Sciences,Projective Geometry,MATHEMATICS / Geometry / General, bisacsh
رده :
E-BOOK
11. An introduction to independence for analysts
المؤلف: Dales, H. G.)Harold G.(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory
رده :
QA
9
.
7
.
D35
1987
12. An introduction to independence for analysts
المؤلف: Dales, H. G.)Harold G.(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory
رده :
QA
9
.
7
.
D35
1987
13. An introduction to symmetry and supersymmetry in quantum field theory /
المؤلف: Jan Lopuszánski.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Quantum field theory.,Supersymmetry.,Symmetry (Physics),Champs, théorie quantique des.,Kwantumveldentheorie.,Quantenfeldtheorie,Quantum field theory.,SCIENCE-- Waves & Wave Mechanics.,Supersymétrie.,Supersymmetrie,Supersymmetrie.,Supersymmetry.,Symétrie (Physique),Symmetrie,Symmetry (Physics)
رده :
QC174
.
17
.
S9
L66
1991eb
14. Applications of process algebra
المؤلف: edited by J.C.M. Baeten
المکتبة: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع: ، Machine theory,، Parallel processing )Electronic computers(,Mathematics ، Computer science,، Computer network protocols,، Axiomatic set theory
رده :
QA
267
.
A67
2004
15. Applications of process algebra
المؤلف: / edited by J.C.M. Baeten. -
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science--Mathematics,Computer network protocols.,Axiomatic set theory.
رده :
QA
,
76
.
9
,.
M35
,
A6
,
1990
16. Applications of process algebra
المؤلف: / J.C.M. Baeten
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Machine theory.,Computer science--Mathematics.,Computer network protocols.,Axiomatic set theory.
رده :
QA
267
.
A67
2004
17. Axiomatic Fuzzy Set Theory and Its Applications
المؤلف: Liu, Xiaodong
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Fuzzy sets
رده :
QA
248
.
5
.
L58
18. Axiomatic characterization of physical geometry
المؤلف: Schmidt, Heinz-Jurgen, 8491-
المکتبة: (طهران)
موضوع: ، Geometry,، Axiomatic set theory
رده :
QC
3
.
L28
Vol
.
111
19. Axiomatic characterization of physical geometry
المؤلف: Schmidt, H.-J.)Heinz-Jurgen(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Geometry,، Axiomatic set theory
رده :
QC
20
.
7
.
G44
S35
20. Axiomatic design
المؤلف: / Nam Pyo Suh
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Industrial design--Methodology,Axiomatic set theory
رده :
TS171
.
4
.
S84
2010
